SVeDaS: Specification and Verification of Data-aware Systems
نویسنده
چکیده
In recent years data-aware systems have been proposed as a comprehensive framework to model complex business workflows by considering data and processes as equally relevant tenets of the system
منابع مشابه
A model for specification, composition and verification of access control policies and its application to web services
Despite significant advances in the access control domain, requirements of new computational environments like web services still raise new challenges. Lack of appropriate method for specification of access control policies (ACPs), composition, verification and analysis of them have all made the access control in the composition of web services a complicated problem. In this paper, a new indepe...
متن کاملWeb Service Choreography Verification Using Z Formal Specification
Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...
متن کاملFormal Method in Service Composition in Heath Care Systems
One of the areas with greatest needs having available information at the right moment and with high accuracy is healthcare. Right information at right time saves lives. Healthcare is a vital domain which needs high processing power for high amounts of data. Due to the critical and the special characteristics of these systems, formal methods are used for specification, description and verificati...
متن کاملA Novel Semantics for Alternating-time Temporal Logic under Imperfect Information M2 Project
This project proposal hinges on a novel semantics for Alternating-time Temporal Logic (ATL), a logic for reasoning about strategic behaviours in Multi-agent Systems (MAS). The project is directed by Francesco Belardinelli (mâıtre de conférences, laboratoire IBISC, UEVE) and it is part of the ANR JCJC project SVeDaS “Specification and Verification of Dataaware Systems”. The main scientific objec...
متن کاملSpecification and Verification of Commitment-Regulated Data-Aware Multiagent Systems
In this paper we investigate multiagent systems whose agent interaction is based on social commitments that evolve over time, in presence of (possibly incomplete) data. In particular, we are interested in modeling and verifying how data maintained by the agents impact on the dynamics of such systems, and on the evolution of their commitments. This requires to lift the commitment-related conditi...
متن کامل